Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Canada331
Neeraj Kumar Singh37
Canada Sauf Neeraj Kumar Singh" 323
Neeraj Kumar Singh Sauf Canada" 29
Canada Et Neeraj Kumar Singh 8
Canada Ou Neeraj Kumar Singh 360
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000861 Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Formal Evaluation of Landing Gear System
000A25 Neeraj Kumar Singh [Canada] ; Dominique Méry [France]Event B (english version)
000A90 Dominique Méry [France] ; Neeraj Kumar Singh [Canada]The Semantics of Refinement Chart
000B19 Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Analysis of Self-* and P2P Systems using Refinement
000B23 Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
000C21 Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modelling an Aircraft Landing System in Event-B (Full Report)
000E82 Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Analysis of Self-* and P2P Systems using Refinement (Full Report)
001261 Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Event B
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022